home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / README < prev    next >
Encoding:
Text File  |  1989-04-14  |  3.0 KB  |  92 lines
  1. YOU NEED TO HAVE AT&T C++ Version 1.2. This is very cheap to request
  2. from AT&T. The code may compile with other versions of C++,
  3. but we have not tried, so we do not know.
  4. The C++ compiler should be called "CC"; otherwise, update the make files.
  5.  
  6. First run "make install", then "make pas". "pas" is the byte code emulator.
  7. Again, ignore the warnings of the compiler.
  8.  
  9. There are some programs available in the directories Tests and Benchmarks.
  10. Some are compiled already, so you can execute them even if you do not
  11. have the compiler running yet.
  12.  
  13. If you need more virtual storage, set the environment variable PAS_DATA_LIMIT
  14. to a larger value (do "limit" to see what you have available).
  15.  
  16. About virtual backtracking:
  17. there are three files nov_* which implement the garbage collector
  18. without virtual backtracking. Use them if you do not care about virtual
  19. backtracking.
  20.  
  21.  
  22. 6/28/88:
  23. New stuff: 
  24. - garbage collector
  25. - the compiler is in ~touati/Comp
  26. executable + code are there.
  27. - comp: is a Unix pipe
  28. - compiler: is a shell script (one liner)
  29. - look at the file MANUAL: there is some documentation.
  30.  
  31.  
  32. 12/87:
  33. Once you have all your files installed, the only thing you have to do is 
  34. compile the whole program: just do "make". 
  35. Do not forget to set your environment proprely to be able to use the
  36. C++ compiler.  
  37.  
  38. You will get that way an executable file, of the name "pas".
  39.  
  40. Of course, you will need the Prolog compiler installed too.
  41. Do that first, and get the compiler working first, before proceeding
  42. here. 
  43.  
  44. WARNING: you should put the compiler visible in the current directory
  45. (put it in your ~/bin file for example). And you should call it
  46. "comp". If you do not like the name, and want not to make visible,
  47. then edit the shell script "compiler". What to do should be pretty
  48. obvious. 
  49.  
  50. Run it: you will get a prompt: "> ". At that point, without any Prolog
  51. code, you cannot do much. The command "help" will list all the
  52. currently available commands. The interface is not that great, but
  53. allows you to do a few basic things (tracing, stepping, executing,
  54. loading programs, calling the compiler, etc...). 
  55.  
  56. To exit pas, just do ^D.
  57.  
  58. Conventions: Prolog sources files are of the form "foo.pl"; WAM code
  59. of the form "foo.w". The shell script "compiler" is called by "pas",
  60. when you do:
  61. > load a
  62.  
  63. This will compile a.pl if a.w does not exist, and load the program
  64. into pas. To check whether it is loaded or not, just do:
  65. > list
  66.  
  67. To execute, do:
  68. > run
  69.  
  70. To trace, do:
  71. > trace c   (only traces calls)
  72. > trace i   (trace every instruction executed)
  73.  
  74. Doing
  75. > status
  76.  
  77. will print out in which trace mode you are. 
  78. Most things are toggles. To stop tracing, do:
  79.  
  80. > trace c  (will toggle trace c mode)
  81.  
  82. Interrupts are trapped by the system: a ^C will stop current execution
  83. and come back to the top level. 
  84.  
  85. For the rest, you have the source... :-).
  86.  
  87. Do not hesitate to send me mail for anything you do not understand.
  88.  
  89. NOTE: the inline expander does something weird in the file get_put_unify,
  90. with the P = FP0 statement. I do not know what happens, but it makes
  91. the C compiler generates warnings. In any case, it should not.
  92.